COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	A description of filed reports of special interest
C00003 ENDMK
C⊗;
A description of filed reports of special interest

Guttag and Horning, Formal Specification as a Design Tool
Xerox Parc CSL-80-1 January 1980
Specifies a display as an example.  Advocates defining the properties
of the data objects by suitable operators (functions and predicates)
and defining routines (executable functions and subroutines) in
terms of the operators.  The operators are not available for writing
programs.

%3Nisbett, Richard and Lee Ross (1979)%1: %2Human Inference: Strategies
and Shortcomings of Social Judgment%1, Prentice-Hall.